#include"stdio.h"

int g(int x)
{
  return x + 5238;
}

int f(int x)
{
  return g(x);
}

int main(void)
{
  return f(5238) + 1;
}
